Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras
نویسنده
چکیده
Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library
منابع مشابه
Effective Subdirect Decomposition: A Case Study
Certainly, one of the most fundamental early results in universal algebra is Birkhoff’s 1944 decomposition theorem which states that every (universal) algebra d may be represented as a subdirect product of subdirectly irreducible algebras of the same type. It is clear that for d finite such decompositions may be obtained effectively, at least in principle. At first sight, therefore, one might b...
متن کاملIntegral modular data and congruences
We compute all fusion algebras with symmetric rational S-matrix up to dimension 12. Only two of them may be used as S-matrices in a modular datum: the S-matrices of the quantum doubles of Z/2Z and S3. Almost all of them satisfy a certain congruence which has some interesting implications, for example for their degrees. We also give explicitly an infinite sequence of modular data with rational S...
متن کاملMaximal n-generated subdirect products
For n a positive integer and K a finite set of finite algebras, let L(n,K) denote the largest n-generated subdirect product whose subdirect factors are algebras in K. When K is the set of all ngenerated subdirectly irreducible algebras in a locally finite variety V, then L(n,K) is the free algebra FV(n) on n free generators for V. For a finite algebra A the algebra L(n, {A}) is the largest n-ge...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملT-FUZZY CONGRUENCES AND T-FUZZY FILTERS OF A BL-ALGEBRA
In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Kybernetika
دوره 18 شماره
صفحات -
تاریخ انتشار 1982